一类伪不变凸极值问题解集的刻画

有研究对可微的无约束伪不变凸极值问题的解集进行了刻画。本文在此基础上,在广义不变凸性假设下,利用广义Clarke梯度和Lagrange乘子研究了一类不可微的带约束的伪不变凸极值问题的一些性质。首先在广义Clarke梯度的基础上,给出了此类带约束的非可微伪不变凸极值问题的一些性质;然后在一定条件下证明了此类问题的可行集和最优解集是不变凸的;最后利用广义Clarke梯度和Lagrange乘子得到了最优解集的一些等价刻画。
     

重庆市伪叶甲亚科5新纪录种记述

近年来笔者所在研究团队对重庆市昆虫进一步的区系调查和分类研究发现了重庆市5个伪叶甲亚科新纪录种,分别是紫蓝角伪叶甲(Cerogira janthini pennis(Fairmaire,1886))、齿角伪叶甲(Cerogria odontocera(Fairmaire,1886))、蓝背绿伪叶甲(Chlorophila cyaneaPic,1915)、崇安外伪叶甲(Exostira schroederi Borchmann,1936)、莫氏台湾伪叶甲(Taiwanola gria merkli Masumoto,1988)。研究了采自其他省份的伪叶甲亚科标本,发现其中2种也是其他一些省份的新纪录种。本文对这5个重庆新纪录种作了详细描述,提供了整体图及雄性阳茎图,更新了这5种的地理分布。本文的记述对于伪叶甲亚科昆虫的系统分类和生物地理学研究具有一定的科学意义。
     

什么是智慧停车

<正>智慧停车包括硬件建设和软件建设两个方面,其中:硬件通过立体停车设备建设而拓宽城市停车的空间;软件则通过互联网软件系统建设来整合城市停车资源。通过停车信息的实况采集和实时数据的同步更新,搭建静态交通统一管理平台,为动态交通发展助力。应该说,智慧停车既优化了停车管理环节,又降低了停车时间成本,是未来解决停车问题的发展趋势。其中,智能化立体车库包括升降横移类、垂直升降类、水平循环类、多层循环类等基本类型,系统由钢/土建结构、载车台、传动系统、控     

水浸与周期荷载耦合下CFRP锚固系统的耐久性分析

借助光纤布拉格光栅(FBG)传感器,在不同浸润时间下,对碳纤维复合材料(CFRP)锚固结构进行周期荷载实验,探究水浸与周期荷载下CFRP锚固结构的耐久性.试验结果表明:随着循环次数的增加,环氧体塑性变形减小,并趋于稳定;水浸与周期荷载作用下,锚具内CFRP筋发生变形,但无脱锚现象发生;CFRP筋与环氧体界面受水浸环境影响小,筋材表面无腐蚀.     

带有二次约束的一类特殊三次规划问题的全局最优性充分条件

利用拉格朗日函数和L-次微分的方法,研究了带有二次约束的一类特殊三次规划问题的全局最优性条件。首先刻画出该类三次规划问题的拉格朗日函数的抽象次微分,从而得到了带有二次约束的三次规划问题的全局最优性充分条件。最后举例说明如何利用本文所给出的全局最优性充分条件来判定当前可行解就是全局最优解。
     

重加工具有退化与学习现象的单机批排序问题

本文对同一台机器下次品工件可重加工生产的问题进行研究。工件要求成批加工,每批包括连续加工的两个子批。第一子批的工件加工后,一部分工件是按照要求得到的优良品,另一部分工件是次品。次品的工件接着在第二子批重加工,而次品工件在等待重加工时会产生退化与学习现象,加工完成后得到的工件是优良品。同一子批的工件同时完工,工件的完工时间是该子批中最后一个工件的完工时间。假设每批生产的工件次品率是相同的。每一批工件开始加工和重加工时都有安装时间。目标函数是使总安装时间,重加工和库存持续费用最小,并且优良品工件的需求得到满足。对于该问题的一般情形给出了动态规划算法。接着当批工件的完工时间和批的规模满足一致关系,给出多项时间算法。
     

布尔代数的I-V模糊子代数

研究了布尔代数的I-V(Interval valued)模糊子代数及其相关性质,推广了相关文献中布尔代数的模糊子代数的结果。首先,通过将I-V模糊集应用于布尔代数,定义了布尔代数的I-V模糊子代数的概念,得到了布尔代数的I-V模糊子代数的两个简化判定定理;然后,讨论了布尔代数的I-V模糊子代数与(模糊)子代数之间的关系,证明了布尔代数上的I-V模糊集是I-V模糊子代数的充要条件是I-V模糊集的截集是布尔代数的子代数,布尔代数上的I-V模糊集是I-V模糊子代数的充要条件是I-V模糊集的上下隶属函数均为布尔代数的模糊子代数;其次,讨论了布尔代数的I-V模糊子代数的交、同态等性质,证明了布尔代数的I-V模糊子代数的交、同态像和同态逆像等也是布尔代数的I-V模糊子代数;最后,讨论了布尔代数直积上的I-V模糊子代数。
     

一个修正的Hooke-Jeeves方法 (运筹学与控制论)

本文考虑不用导数信息求解无约束优化问题的方法。对于求解无约束优化问题的带有离散步的标准Hooke-Jeeves方法,目标函数值有可能在其加速步中增大。本文修正了标准HJMDS的加速步,保证了目标函数值在修正的带离散步Hooke-Jeeves方法的加速步中不增。然后,采用修正的带离散步Hooke-Jeeves方法设计了一个新算法。数值试验结果表明,修正的带离散步Hooke-Jeeves方法与带离散步的标准Hooke-Jeeves方法相比,其函数值计算次数明显减少,因而本文给出的修正的带离散步Hooke-Jeeves方法比带离散步的标准Hooke-Jeeves方法更为有效。     

南方鲇CART基因mRNA的组织分布分析 (动物科学)

采用RT-PCR和RACE技术克隆得到南方鲇(Silurus meridionalis)的CART基因的全长cDNA序列,全长688bp,其中5’非翻译区长109bp,ORF长357bp,3’非翻译区222bp,编码118个氨基酸。与其他脊椎动物的CART蛋白氨基酸序列比对发现,南方鲇CART与斑点叉尾鮰(Ietalurus punetaus)CART、金鱼(Carassius auratus)CART1、金鱼CART2、鲤鱼(Cyprinus carpio)CART1、鲤鱼CART2和人(Homo sapiens)CART同源性分别达到95.8%、72.0%、75.0%、72.9%、75.0%和52.5%,表现出较高的保守性。进化树结果显示,南方鲇的CART与斑点叉尾鮰聚为一支,与基于形态学的鱼类系统发育结论相吻合。组织分布分析表明南方鲇CART基因mRNA主要在脑中表达,与之功能相吻合。研究结果为该种鱼摄食调控机制的研究提供了新的基础资料。